GNAT Pro (Enterprise)

GNAT Pro Enterprise product from Adacpre supports Ada, C and C++ and offers a suite of tools and libraries for developing large, mission-critical applications. Companies worldwide have come to depend on AdaCore’s products and expertise in developing, verifying and maintaining their software. Our technology is upgraded annually, with many of the enhancements based on customer suggestions.

GNAT Pro Enterprise uses a common code generator to support all versions of Ada (from Ada 83 through Ada 2012), as well as C (including C11) and C++ (including C++17). With its full spectrum of program development and verification tools, coupled with expert support, AdaCore can serve as a “one stop shop” for your programming needs.

In addition to all the tools and libraries that you need, we have a variety of add-ons to kick your workflow up to the next level.

Development Environments
The control panel for your software projects is GNAT Studio or GNATbench (Eclipse plug-in) Integrated Development Environment. These intuitive and adaptable IDEs are easy to learn but offer advanced capabilities to support evolving project needs.

Library and Components
In addition to the Ada 2012 predefined environment, GNAT Pro Enterprise supplies a number of libraries specific to GNAT. These include packages for string handling, searching and sorting, hash tables, socket support, input-output, and more.

Testing and Analysis Tools
The toolsuite include a configurable reformatter / pretty printer, a program metrics generator, a visual debugger, a code navigator, a test case generator, and more.